/*
 * Util.h
 *
 *  Created on: Jun 20, 2009
 *      Author: gianpaolo
 */

#ifndef UTIL_H_
#define UTIL_H_
#include <stdlib.h>
#include <stdio.h>
#include "Estructuras.h"

/*
 * Imprime la matriz por pantalla
 */
void printMatriz(int **conexiones, int tamConex);

/*
 * Otra manera de imprimir las clausulas
 */
void imprimirClau2(Clausula * claus);

/*
 * Imprime todas las variables que tengan un valor asignado
 */
void imprimirVars(Variable* variables);
#endif /* UTIL_H_ */
